Nuprl Lemma : binrel_le_antisymmetry 13,42

T:Type, RR':(TT). (R >{TR' (R' >{TR (R <>{TR'
latex


Upgen algebra 1
Definitions of StatementE <>{TE', E >{TE'
Definitionst  T, E <>{TE', E >{TE', P  Q, , x:AB(x)
Lemmasimplies antisymmetry

origin